//check type inference;;

//OK;;
//int + int;;
2 + 2;;
2 * 2;;
2 / 2;;
2 mod 2;;
//float + float;;
2.8 +. 3.0;;
2.8 -. 3.0;;
2.8 *. 3.0;;
2.8 /. 3.0;;

//Error:int + float or float + int;;
2 + 2.0;;
2.0 + 2;;
2.0 + 2.0;;
3 +. 3;;
3.0 +. 3;;
3 +. 3.0;;
